Laboratoire I3S

Les versions utilisées pour le benchmark SquareRoot en C pour l'outil BugAssist

  1. SquareRootV0.c
  2. SquareRootV1.c
  3. SquareRootV2.c
  4. SquareRootV3.c
  5. SquareRootV4.c
  6. SquareRootV7.c
  7. SquareRootV8.c
  8. SquareRootV9.c
  9. SquareRootV10.c
  10. SquareRootV11.c
  11. SquareRootV12.c
  12. SquareRootV13.c
  13. SquareRootV14.c
  14. SquareRootV15.c
  15. SquareRootV16.c
  16. SquareRootV17.c
  17. SquareRootV18.c
  18. SquareRootV19.c
  19. SquareRootV20.c
  20. SquareRootV21.c
  21. SquareRootV22.c
  22. SquareRootV23.c
  23. SquareRootV24.c
  24. SquareRootV25.c
  25. SquareRootV26.c
  26. SquareRootV27.c
  27. SquareRootV28.c
  28. SquareRootV29.c
  29. SquareRootV30.c
  30. SquareRootV31.c
  31. SquareRootV32.c
  32. SquareRootV33.c
  33. SquareRootV34.c
  34. SquareRootV35.c
  35. SquareRootV36.c
  36. SquareRootV37.c
  37. SquareRootV38.c
  38. SquareRootV39.c
  39. SquareRootV40.c
  40. SquareRootV41.c
  41. SquareRootV42.c
  42. SquareRootV43.c
  43. SquareRootV44.c
  44. SquareRootV45.c
  45. SquareRootV46.c
  46. SquareRootV47.c
  47. SquareRootV48.c
  48. SquareRootV49.c
  49. SquareRootV50.c
  50. SquareRootV51.c
  51. SquareRootV52.c
  52. SquareRootV53.c
  53. SquareRootV54.c
  54. SquareRootV55.c
  55. SquareRootV56.c
  56. SquareRootV57.c
  57. SquareRootV58.c
  58. SquareRootV59.c
  59. SquareRootV60.c
  60. SquareRootV61.c
  61. SquareRootV62.c
  62. SquareRootV63.c
  63. SquareRootV64.c
  64. SquareRootV65.c
  65. SquareRootV66.c
  66. SquareRootV67.c
  67. SquareRootV68.c
  68. SquareRootV69.c
  69. SquareRootV70.c
  70. SquareRootV71.c
  71. SquareRootV72.c
  72. SquareRootV73.c
  73. SquareRootV74.c
  74. SquareRootV75.c
  75. SquareRootV76.c
  76. SquareRootV77.c
  77. SquareRootV78.c
  78. SquareRootV79.c
  79. SquareRootV80.c
  80. SquareRootV81.c
  81. SquareRootV82.c
  82. SquareRootV83.c
  83. SquareRootV84.c
  84. SquareRootV85.c
  85. SquareRootV86.c
  86. SquareRootV87.c
  87. SquareRootV88.c
  88. SquareRootV89.c
  89. SquareRootV90.c